Legislation as Logic Programs
نویسنده
چکیده
The linguistic style in which legislation is normally written has many similarities with the language of logic programming. However, examples of legal language taken from the British Nationality Act 1981, the University of Michigan lease termination clause, and the London Underground emergency notice suggest several ways in which the basic model of logic programming could usefully be extended. These extensions include the introduction of types, relative clauses, both ordinary negation and negation by failure, integrity constraints, metalevel reasoning and procedural notation. In addition to the resemblance between legislation and programs, the law has other important similarities with computing. It needs for example to validate legislation against social and political specifications, and it needs to organise, develop, maintain and reuse large and complex bodies of legal codes and procedures. Such parallels between computing and law suggest that it might be possible to transfer useful results and techniques in both directions between these different fields. One possibility explored in this paper is that the linguistic structures of an appropriately extended logic programming language might indicate ways in which the language of legislation itself could be made simpler and clearer.
منابع مشابه
1 Logic Programming for Large Scale Applica - tions in
The 1980s saw the rise of one of central projects of AI and Law the representation of law as executable logic programs. [1] describes one of the steps in the development of the project with the representation of a large portion of the United Kingdom’s legislation on “Supplementary Benefit” (SB) as an executable logical model of law in Prolog. It outlines the legislation, the task the representa...
متن کاملExplorer Middle - Out Reasoning for Logic Program Synthesis
General rights Copyright for the publications made accessible via the Edinburgh Research Explorer is retained by the author(s) and / or other copyright owners and it is a condition of accessing these publications that users recognise and abide by the legal requirements associated with these rights. Take down policy The University of Edinburgh has made every reasonable effort to ensure that Edin...
متن کاملHierarchical formalizationst
This paper examines the prospects for using logic to represent legislation. This is important since it offers, via the technology of logic programming, a straightforward way of constructing knowledge-based systems in the legal domain. We suggest requirements which an ideal logical representation would satisfy and find that there is an apparent tension between two of them. Specifically, the need...
متن کاملOpen Texture and Argumentation: What Makes an Argument Persuasive?
Although Marek Sergot’s contribution to Artificial Intelliegnce and Law is mainly associated with the formalisation of legislation as a logic program, he also wrote on an approach to the treatment of open textured concepts in law, using argumentation. That paper posed the question what makes an argument persuasive? This short paper considers the ideas of that paper and discusses developments in...
متن کاملOutcomes of Changing Supervised Agricultural Experience Programs
Experiential learning has been an integral component of secondary agricultural education since the beginning of the program. The Smith-Hughes Act of 1917 has been cited as landmark legislation which established vocational agriculture programs in public secondary schools in the United States. This legislation contained language which required that students have “directed or supervised practice i...
متن کامل